Θεωρία μοντέλων
Στα μαθηματικά, η θεωρία μοντέλων (αγγλ. model theory) μελετά (κλάσεις από) μαθηματικές δομές όπως οι ομάδες, τα πεδία, οι γράφοι, ακόμα και τα universes της θεωρίας συνόλων, χρησιμοποιώντας εργαλεία της μαθηματικής λογικής. Μια δομή που αποδίδει σημασία στις προτάσεις μιας τυπικής γλώσσας ονομάζεται μοντέλο για αυτήν τη γλώσσα. Αν ένα μοντέλο μιας γλώσσας ικανοποιεί μια συγκεκριμένη πρόταση ή θεωρία (σύνολο από προτάσεις), τότε λέγεται μοντέλο της πρότασης ή θεωρίας. Η θεωρία μοντέλων έχει στενή σχέση με την άλγεβρα και την καθολική άλγεβρα.